Unconventional Parallelization of Nondeterministic Applications
نویسندگان
چکیده
منابع مشابه
Automatic parallelization of irregular applications
Parallel computers are present in a variety of ®elds, having reached a high degree of architectural maturity. However, there is still a lack of convenient software support for implementing ecient parallel applications. This is specially true for the class of irregular applications, whose computational constructs hardly ®t current parallel architectures. In fact, contemporary automatic parallel...
متن کاملParallelization of Linearized Applications in Fortran D
The Fortran D language extends Fortran by permitting the user to specify the distribution of array variables across the processors of a parallel computer system. This information can then be used by the compiler to derive a multidimensional parallelization. For programs in which multidimensional arrays have been linearized for optimal performance on vector processors, this strategy will not pro...
متن کاملSemi-automatic Parallelization of Java Applications
Some types of time-consuming computations are naturally parallelizable. To take advantage of parallel processing, however, applications must be explicitly programmed to use specific libraries that share the workload among multiple (generally distributed) processors. In this paper, we present a set of Java tools that allow us to parallelize some types of computationally-intensive Java applicatio...
متن کاملOn the Parallelization of Bioinformatic Applications
This document surveys the computational strategies followed to parallelize the most used software in the bioinformatics arena. The studied algorithms are computationally expensive and their computational patterns range from regular, such as database searching applications, to very irregularly structured patterns (phylogenetic trees). Fineand coarse-grained parallel strategies are discussed for ...
متن کاملNondeterministic controllers of nondeterministic processes
The controller synthesis problem as formalized by Ramadge and Wonham consists of finding a finite controller that when synchronized with a given plant results in a system satisfying a required property. In this setting, both a plant and a controller are deterministic finite automata, while synchronization is modelled by a synchronous product. Originally, the framework was developed only for saf...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2018
ISSN: 0362-1340,1558-1160
DOI: 10.1145/3296957.3173181